Notes on Indiana Plants, 1883

1883 - 4566

Mobile robot networks emerged in the past few years as a promising distributed computing model. Existing work in the literature typically ensures the correctness of mobile robot protocols via ad hoc handwritten proofs, which are both cumbersome and error-prone. This paper surveys state-of-the-art results about applying formal methods approaches (namely, model-checking, program synthesis, and pr...

Project Notes on the EPA Dictionary Compiled at Indiana University, 2001-3

Where in the U.S.A. did you mainly live prior to entering college? New England = ME VT NH MA CT RI | Middle Atlantic = NY NJ PA | East North Central = WI IL IN MI OH | West North Central = MN IA MO ND SD NE KS | South Atlantic = DE MD WV VA NC SC GA FL DC | East South Central = KY TN AL MS | West South Central = AR OK LA TX | Mountain = MT ID WY NV UT CO AZ NM | Pacific = WA OR CA AK HI | Not i...

Studies of Pacific Island Plants , XX Notes on Some Fijian

IN RECENT YEARS collections made by staff members of the Fiji Department of Agriculture have substantially added to the available study material of Fijian plants, permitting more adequate knowledge of many species and the recognition of others as new to science. Study of the Rubiaceae of these collections has made desirable the publication of notes to clarify certain complexes within the genus ...

Leonard Colebrook, 1883-1967.

Leonard Colebrook (1883?1967)

Leonard Colebrook was a physician who researched bacteria and infections in England during the twentieth century. In 1936, Colebrook deployed the antibiotic Prontosil to treat puerperal fever, a disorder that results from bacterial infections in the uterine tracts of women after childbirth or abortions. Colebrook also advanced care for burn patients by advocating for the creation of burn units ...